Interprocedural type propagation for object-oriented languages
نویسندگان
چکیده
منابع مشابه
Automatic Interprocedural Optimization for Object-oriented Languages
The structure of object-oriented programs diiers from that of procedural programs, requiring special compilation techniques to obtain eeciency. Object-orientation introduce additional layers of abstraction which separate the implementations of data structures and algorithms from their points of use. The result is smaller functions, increased data dependence of control ow, and an increase in pot...
متن کاملOn Interprocedural Data Flow Analysis for Object Oriented Languages
As object oriented languages ease software construction significantly, these languages are very promising candidates for parallelizing compilers. To combine the advantages of object oriented programming with the power of parallel processing two major problems have to be solved: the virtual function and the class scope problem. We present solutions to these problems a n d exemplify them by exten...
متن کاملExpressive Type Systems for Object-Oriented Languages
of the Dissertation Expressive Type Systems for Object-Oriented Languages
متن کاملObject-Oriented Type Inference for Telescoping Languages
The telescoping-languages approach achieves high performance from applications encoded as high-level scripts. The core idea is to pre-compile underlying libraries to generate multiple variants optimized for use in different possible contexts including different argument types. We have previously developed a type inference algorithm that enables type-based specialization. The algorithm infers ty...
متن کاملWishes for object-oriented languages
For a long time, I have liked to compare the parameter-passing modes of Algol 60 (some of you are probably old enough to remember) with speakers at scientific conferences. Namely, call by value vs. call by name in Algol, and authors of regular papers vs. invited speakers at conferences. This time I am lucky enough to be in the latter category; I also used to say that these are sometimes people ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1994
ISSN: 0167-6423
DOI: 10.1016/0167-6423(94)00006-9